Grand Challenges
نویسندگان
چکیده
1) Simplifying the development of complex systems. Today it remains extremely difficult to build robust systems that interact with the environment in any significant way. This includes embedded systems, networked systems and large-scale Internet services. I believe the way out if through the combination of compiler technology, less expressive languages (perhaps domain specific), and some forms of formal methods such as model checking. Early results show that we can prevent buffer overruns through compile-time detection; this single class of errors is responsible for over 50% of security problems on the Internet, so prevention has huge impact. We also believe a similar approach can prevent race conditions in embedded systems (and other synchronization bugs), which would have prevent such classic failures as the Therac-25 and the Mars rover. Today systems are not really designed to make use of the full range of compile-time analysis (and thus prevention) that is possible.
منابع مشابه
We've Been Framed! Ends, Means, and the Ethics of the Grand(iose) Challenges
Since the United States’ National Academy of Engineering’s Grand Challenges were first publicly articulated in 2008, engineering educators have used its ideas to motivate their work. While there is a sense of moral imperative around pursuing selected Challenges, work that critically examines the ethics of the Grand Challenges has so far been rare. In this paper, examining the process surroundin...
متن کاملThe Grand Challenges and nursing.
66 V O L U M E 5 8 W hat are the Grand Challenges? For nearly 30 years, governments around the world have been allocating their resources to address problems known by several specific names, but generally known as the Grand Challenges. These problems were modeled after the work of David Hilbert, a mathematician, who more than 100 years ago developed a list of the unsolved problems he believed t...
متن کاملGuest Editorial Special Issue on Grand Challenges for Modeling and Simulation
“One of the better aspects of human nature is our drive to seek out and conquer challenges. We seem imbued with a desire to formulate problems of the highest degree of difficulty and then to relentlessly pursue their solution. The identification and pursuit of Grand Challenges has been a hallmark of the high-performance computing arena for over a decade. In recent years, many other technical co...
متن کاملFrom the Editors Grand Challenges and Inductive Methods: Rigor without Rigor Mortis
Editor’s note: This editorial is part of a series written by editors and co-authored with a senior executive, thought leader, or scholar to explore new content areas and grand challenges with the goal of expanding the scope, interestingness, and relevance of the work presented in the Academy of Management Journal. The principle is to use the editorial notes as “stage setters” to open up fresh, ...
متن کاملGRAND CHALLENGES Grand challenges in organismal biology
Grand challenges in organismal biology Kurt Schwenk,* Dianna K. Padilla, George S. Bakken and Robert J. Full Department of Ecology and Evolutionary Biology, University of Connecticut, Storrs, CT 06269-3043, USA; Department of Ecology and Evolution, Stony Brook University, Stony Brook, NY 11794-5245, USA; Department of Biology and Center for Biodiversity Studies, Indiana State University, Terre ...
متن کامل